template< class dummy_PMetaLambda_PMetaPrograms_>
struct app_matching< Int<0>, dummy_PMetaLambda_PMetaPrograms_>
{
  struct _:  Bool<true> 
  {
  typedef Bool<true> ::value value;
  };
};
template< class x, class>
struct app_matching
{
  struct _:  Bool<false> 
  {
  typedef Bool<false> ::value value;
  };
};